121. Languages and compilers for parallel computing : 7th International Workshop Ithaca, NY, USA, August 8 - 10, 1994 : proceedings
پدیدآورنده : K. Pingali...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
892
122. Languages and compilers for parallel computing : 8th International Workshop, LCPC'95, Columbus, Ohio, USA, August 10-12, 1995 : Proceedings
پدیدآورنده : C.-H. Huang...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1033
123. Languages and compilers for parallel computing : 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : Proceedings
پدیدآورنده : David Sehr...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1239
124. Languages and compilers for parallel computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, revised papers
پدیدآورنده : Samuel P. Midkiff...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2017
125. Languages and compilers for parallel computing : 5th International Workshop , New Haven Connecticut, USA, August 3-5, 1992 : proceedings
پدیدآورنده : U. Banerjee...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
757
126. Languages and compilers for parallel computing : 6th International Workshop...1993 : proceedings
پدیدآورنده : Utpal Banerjee...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
768
127. Languages and compilers for parallel computing : 14th international Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : Revised papers
پدیدآورنده : Henry G. Dietz )Ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
2624
128. Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003; revised papers
پدیدآورنده : Lawrence Rauchwerger )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
2958
129. Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Parallel processing )Electronic computing(-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
رده :
QA
76
.
58
.
L36
1993
130. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
پدیدآورنده : Sandhya Dwarkadas )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
1915
131. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
پدیدآورنده : Jack Davidson, Sang Lyul Min, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1985
132. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
133. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
134. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
135. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
136. Logic, language, and computation
پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
137. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
138. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
139. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
140. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده : edited by W. L. van der Poel and L. A. Maarssen
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I18
1973
